Issue3400-2.agda:11,1-4
Could not parse the left-hand side + A
Operators used in the grammar:
  None
when scope checking the left-hand side + A in the definition of +
